Boolean constraint satisfaction problems for reaction networks

Boolean constraint satisfaction problems for reaction networks

A. Seganti, A. De Martino and F. Ricci-Tersenghi 1 Dipartimento di Fisica, Sapienza Università di Roma, p.le A. Moro 2, 00185 Rome (Italy) 2 IPCF-CNR, UOS di Roma, Dip. Fisica, Sapienza Università di Roma (Italy) 3 Center for Life Nano Science@Sapienza, Istituto Italiano di Tecnologia, Viale Regina Elena 291, 00161 Roma (Italy) 4 INFN – sezione di Roma1, Dip. Fisica, Sapienza Università di Roma...

Complexity results for boolean constraint satisfaction problems

My thesis is concerned with Boolean constraint satisfaction problems (CSP). A constraint consists of a set of variables and a (Boolean) relation, which restricts the assignment of certain tuples of variables. A CSP then is the question, whether there is an assignment for all variables to a given set of constraints, such that all constraints are satisfied simultaneously. We examine this CSP and ...

Approximate Counting for Complex-Weighted Boolean Constraint Satisfaction Problems

Constraint satisfaction problems (or CSPs) have been extensively studied in, for instance, artificial intelligence, database theory, graph theory, and statistical physics. From a practical viewpoint, it is beneficial to approximately solve CSPs. When one tries to approximate the total number of truth assignments that satisfy all Boolean constraints for (unweighted) Boolean CSPs, there is a know...

Searching for feasible stationary states in reaction networks by solving a Boolean constraint satisfaction problem.

We analyze the solutions, on single network instances, of a recently introduced class of constraint-satisfaction problems (CSPs), describing feasible steady states of chemical reaction networks. First, we show that the CSPs generalize the scheme known as network expansion, which is recovered in a specific limit. Next, a full statistical mechanics characterization (including the phase diagram an...

Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?